1. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
2. Recursion theory
پدیدآورنده : edited by Anil Nerode and Richard A. Shore
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Recursion theory
رده :
QA
1
.
P7
Vol
.
42